Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
161	Introduction to Programming with Shift and Reset Kenichi Asai Oleg Kiselyov Add to Reading List Source URL: pllab.is.ocha.ac.jp Language: English - Date: 2011-09-23 03:42:06 Control flow Continuations Functional languages Delimited continuation Functional programming Subroutines Continuation Standard ML Call-with-current-continuation Software engineering Computing Computer programming
162	Blood alcohol content (mg/ml) standard novice professional Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2009-12-04 10:22:53 Biochemistry Mopeds Blood alcohol content Biology
163	Proof-Theoretic and Higher-Order Extensions of Logic Programming Alberto Momigliano1,2 and Mario Ornaghi1 1 Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-30 09:07:46 Proof theory Metalogic Model theory Formal languages Deduction Curry–Howard correspondence Standard ML Sequent calculus Symbol Logic Mathematics Mathematical logic
164	Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-25 19:44:13 Abstract data types Functional languages Functional programming Lazy evaluation Python Double-ended queue Standard ML Purely functional Amortized analysis Software engineering Computer programming Computing
165	Girls West Virginia Standards for Healthy Fitness Zone Age One-mile run min:sec. 20 Meter Pacer #laps 15 Meter Pacer #laps Walk test & VO Max ml/kg/min Percent Fat Body Mass Index Curl-up #complete 9 Time standard not re Add to Reading List Source URL: wvde.state.wv.us Language: English - Date: 2010-06-18 11:43:58 Bodyweight exercise Pull-up Pacer
166	Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework Gabriel Dos Reis1 , David Matthews2 , and Yue Li1 1 Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-05-18 16:53:02 Functional languages Procedural programming languages Standard ML ML Lambda calculus Function Axiom Valuation Type system Mathematics Programming language theory Software engineering
167	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Computer programming Data types Functional languages Procedural programming languages Functional programming Standard ML Algebraic data type Type system Tagged union Software engineering Computing Type theory
168	Case 1:13-cv[removed]ML-LDA Document 77 Filed[removed]Page 5 of 15 PageID #: 1017 Morris v. RI Hospital, et al. 13-304ML persons stand equal before the law and are to be dealt with as equals in a court of justice. All per Add to Reading List Source URL: www.rid.uscourts.gov Language: English - Date: 2014-10-22 16:31:05 Jury United States evidence law Relevance Daubert standard Law Evidence law Evidence
169	Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Sakyo-ku, Kyoto[removed]removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Type theory Parametric polymorphism Standard ML Type system Type inference ML Polymorphism Hindley–Milner Valuation Software engineering Programming language theory Computing
170	MATERIAL SAFETY DATA SHEET Copper Standard 20.0 ppm (1 ml = 0.02 mg) SECTION 1 . Product and Company Idenfication Product Name and Synonym: Add to Reading List Source URL: www.sciencestuff.com Language: English - Date: 2013-06-04 11:08:52 Occupational safety and health Potassium nitrate Security Health Culture Tempo 20 wp Headgear Personal protective equipment Sports clothing